derivative of logx from first principle